Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 47.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000231 | Tushant Jha [France] ; Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] | Expressive Equivalence and Succinctness of Parametrized Automata with respect to Finite Memory Automata |
| 000420 | Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] | Parametrized automata simulation and application to service composition |
| 000818 | Asma Cherif [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | Practical access control management for distributed collaborative editors |
| 000888 | Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | A Maximum Variance Approach for Graph Anonymization |
| 000A04 | Walid Belkhir [France] ; Gisela Rossi [France] ; Michael Rusinowitch [France] | A Parametrized Propositional Dynamic Logic with Application to Service Synthesis |
| 000C34 | Ghazi Maatoug [France] ; Frédéric Dadeau [France] ; Michael Rusinowitch [France] | Model-Based Vulnerability Testing of Payment Protocol Implementations |
| 000C69 | Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | Enforcing Privacy in Decentralized Mobile Social Networks |
| 000F28 | Michael Rusinowitch [France] | Automated verification of security protocols and application to services |
| 000F63 | Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] | Guarded Variable Automata over Infinite Alphabets |
| 000F96 | Houari Mahfoud [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | SVMAX: a system for secure and valid manipulation of XML data |
| 001015 | Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] | Fresh-Variable Automata for Service Composition |
| 001260 | Florent Jacquemard [France] ; Michael Rusinowitch [France] | Rewrite Closure and CF Hedge Automata |
| 001262 | Abdessamad Imine [France] ; Michael Rusinowitch [France] | Secure Collaboration for Smartphones |
| 001799 | Hatem Ghabri ; Ghazi Maatoug [France] ; Michael Rusinowitch [France] | Compiling symbolic attacks to protocol implementation tests |
| 001893 | Tigran Avanesov [Luxembourg (pays)] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France] | Towards the Orchestration of Secured Services under Non-disclosure Policies. |
| 001A56 | Siva Anantharaman [France] ; Serdar Erbatur [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Unification modulo Synchronous Distributivity |
| 001C64 | Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | String rewriting and security analysis: an extension of a result of Book and Otto |
| 002123 | Tigran Avanesov [France] ; Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France] | Web Services Verification and Prudent Implementation |
| 002127 | Tigran Avanesov [France] ; Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France] | Distributed Orchestration of Web Services under Security Constraints |
| 002153 | Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Unification modulo Block Chaining |
| 002947 | Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France] | Orchestration under Security Constraints |
| 002972 | Ryma Abassi [Tunisie] ; Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Sihem Guemara El Fatmi [Tunisie] | XML Access Control: from XACML to Annotated Schemas |
| 002A26 | Tigran Avanesov [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France] | Satisfiability of General Intruder Constraints with a Set Constructor |
| 002B06 | Zeeshan Ahmed [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | Safe and Efficient Strategies for Updating Firewall Policies |
| 002B58 | Florent Jacquemard [France] ; Michael Rusinowitch [France] | Rewrite-Based Verification of XML Updates |
| 002D34 | Tigran Avanesov [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France] | Satisfiability of General Intruder Constraints with and without a Set Constructor |
| 002D71 | Siva Anantharaman [France] ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michael Rusinowitch [France] | Cap Unification: Application to Protocol Security modulo Homomorphic Encryption |
| 002E95 | Tarek Abbes ; Adel Bouhoula [Tunisie] ; Michael Rusinowitch [France] | Efficient Decision Tree for Protocol Analysis in Intrusion Detection |
| 002F08 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator |
| 003434 | Abdessamad Imine [France] ; Asma Cherif [France] ; Michael Rusinowitch [France] | A Flexible Access Control Model for Distributed Collaborative Editors |
| 003487 | Najah Chridi [France] ; Mathieu Turuani [France] ; Michael Rusinowitch [France] | Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists |
| 003684 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets |
| 003C46 | Florent Jacquemard [France] ; Michael Rusinowitch [France] | Rewrite based Verification of XML Updates |
| 003C83 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Data Structures with Arithmetic Constraints: a Non-Disjoint Combination |
| 003C86 | Yannick Chevalier [France] ; Michael Rusinowitch [France] | Compiling and securing cryptographic protocols |
| 003C88 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Combinable Extensions of Abelian Groups |
| 003D08 | Humberto Abdelnur [France] ; Tigran Avanesov [France] ; Michael Rusinowitch [France] ; Radu State [France] | Abusing SIP authentication |
| 003F06 | Najah Chridi [France] ; Mathieu Turuani [France] ; Michael Rusinowitch [France] | Towards a Constrained-based Verification of Parameterized Cryptographic Protocols |
| 003F13 | Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France] | Automatic Composition of Services with Security Policies |
| 003F94 | Siva Anatharaman [France] ; Hai Lin ; Chris Lynch ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Active Intruders with Caps |
| 004144 | Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Laurent Vigneron [France] | Tree automata with equality constraints modulo equational theories |
| 004188 | Yannick Chevalier [France] ; Ralf Kuesters ; Michael Rusinowitch [France] ; Mathieu Turuani [France] | Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption |
| 004526 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets |
| 004603 | Tarek Abbes ; Adel Bouhoula [Tunisie] ; Michael Rusinowitch [France] | An inference system for detecting firewall filtering rules anomalies |
| 004860 | Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Intruders with Caps |
| 004E20 | Yannick Chevalier [France] ; Denis Lugiez [France] ; Michael Rusinowitch [France] | Toward an Automatic Analysis of Web Service Security |
| 005754 | Siva Anantharaman [France] ; Gaétan Hains [France] ; Michael Rusinowitch [France] ; Paul Gastin [France] ; John Mullins [Canada] | Journal of Automata, Languages and Combinatorics, Vol. 11(1) |
| This area was generated with Dilib version V0.6.33. |  |